# Copyright 1999-2004 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Header: $

inherit eutils

DESCRIPTION="VeriFast is a verifier for single-threaded and multithreaded C and Java programs annotated with preconditions and postconditions written in separation logic."
HOMEPAGE="http://people.cs.kuleuven.be/~bart.jacobs/verifast/"
SRC_URI="http://people.cs.kuleuven.be/~bart.jacobs/verifast/verifast-11.9.19.tar.gz"

LICENSE="as-is"
SLOT="0"
KEYWORDS="x86"

IUSE=""
DEPEND=""
RDEPEND="${DEPEND}"

src_unpack() {
	unpack ${A}
}

src_install() {
	cd ${WORKDIR}
	dodir /opt/${PN}
	cp -R ${P}/* ${D}opt/${PN}/
	dosym /opt/${PN}/bin/${PN} /usr/bin/${PN}
}
